old_bool_1_stuff 12,41
=========
OLD STUFF
=========
Obselete tactics and theorems that are maybe used in
old proofs.

origin